81. Logic, methodology, and philosophy of science VI :
پدیدآورنده : edited by L. Jonathan Cohen ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
QA9
.
A1
I57
1979
82. Logic, methodology, and philosophy of science, VII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
83. Logic, methodology, and philosophy of science, VII :
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1983
84. Logic, methodology, and philosophy of science, VII
پدیدآورنده : / edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Science--Philosophy--Congresses,Science--Methodology--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
Q
,
174
,.
I58
,
1983
85. Logic, methodology and philosophy of science VII : Proceedings of the International Congress of Logic, Methodology, and Philosophy, Salzburg 1983
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingarther
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic, Symbolic and mathematical
رده :
Q
174
.
I58
1983
86. Many-Valued Logics :
پدیدآورنده : by Leonard Bolc, Piotr Borowik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
87. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
88. Nominalistic Systems
پدیدآورنده : by Rolf A. Eberle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
B731
.
B976
1970
89. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
90. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
پدیدآورنده : edited by Leon Henkin ... ]et al.[
کتابخانه: (طهران)
موضوع : Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P7
Vol
.
25
91. Regulae utiles et claires pour la direction de l,esprit en la recherche de la verite
پدیدآورنده : / Rene Descartes,Descartes
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Reasoning,Logic, Symbolic and mathematical,Science -- Methodology
رده :
B
1868
.
R42F7
92. The Art of the Intelligible :
پدیدآورنده : by John L. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
93. The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Methodology-- Congresses ، Science,Congresses ، Science-- Philosophy
رده :
Q
174
.
I58
1995
94. The innovation in computing companion :
پدیدآورنده : Gerard O'Regan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
95. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
96. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
97. The logic of chance
پدیدآورنده : Venn, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
رده :
BC
141
.
V4
1962
98. The logic of chance
پدیدآورنده : / by John Venn
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Chance,Probabilities,Science - Methodology,Logic . symbolic and mathematical
رده :
BC141
.
V4
1962
99. The priciples of science
پدیدآورنده : Jevons, William Stanley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic,، Logic, symbolic and mathematical,Methodology ، Science
رده :
Q
175
.
J48
1996
100. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
BC135
،.
I5
1965